Réflexivité de \(\mathscr R\) : $$\forall x\in E,\quad x\mathscr R x$$
[Schéma d'une relation] \(\longleftrightarrow\) réflexivité